Search results
The International Journal of Advanced Manufacturing Technology > 2018 > 98 > 5-8 > 1505-1521
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Regular Papers > 831-846
Journal of Shanghai University (English Edition) > 2000 > 4 > 2 > 123-127
Information and Software Technology > 1997 > 39 > 8 > 515-529